home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / std / c++ / 880 < prev    next >
Encoding:
Internet Message Format  |  1996-08-06  |  2.3 KB
  1. From: Philippe Verdy <100105.3120@compuserve.com>
  2. Message-ID: <4jc2fa$bqu@arl-news-svc-2.compuserve.com>
  3. X-Original-Date: 27 Mar 1996 18:47:05 GMT
  4. Path: in1.uu.net!bounce-back
  5. Date: 27 Mar 96 21:41:18 GMT
  6. Approved: fjh@cs.mu.oz.au
  7. Newsgroups: comp.std.c++
  8. Subject: Re: double const declarations
  9. Organization: CompuServe Incorporated
  10. X-Auth: PGPMoose V1.1 PGP comp.std.c++
  11.     iQBFAgUBMVm2I+EDnX0m9pzZAQGy5gF/S0GJD+hXSzmJB2uFn7v6OdnfDHfDryGo
  12.     1u/ygQAqFUVtf43Iyh5GB/yJl6uxw2Ye
  13.     =9Hub
  14.  
  15. dak <pierreba@poster.cae.ca> s'icrit :
  16. > I've just encountered a problem in one of our template design and wondered
  17. > what could be done about it. It concerns const reference return value from
  18. > a templated member function, for example:
  19. > 
  20. > template <class T> class SmartPtr
  21. > {
  22. >     // ... whatever:
  23. > public:
  24. >     const T & Dereference ();
  25. > };
  26. > 
  27. > The problem arise when T is instantiated with a Container of constants:
  28. > 
  29. > SmartPtr<const int> a;
  30. > 
  31. > Here we have a double const which is not supported by the compiler, nor the
  32. > standard, I believe.  Is there a fix or should we abandon all hope of using
  33. > const returns in templates ?
  34.  
  35. Declare a temporary template<class T> to use <T> types only, but no <const T>,
  36. then create another template class that will use <const T> as the parameter
  37. of the first template.
  38. To make this class usable for const and non-const references, you can add
  39. another template parameter to the first class : one for the case T should be
  40. const, one for the other case.
  41. Example:
  42.  
  43. template <class T, class CT>
  44. class SmartPtr2  {
  45.    SmartPtr2(T* p) { mp = const_cast<CT>(p) ; }
  46.    CT & Dereference() {
  47.      return *mp ;
  48.    }
  49.  private :
  50.    CT *mp ;
  51. } ;
  52. template <class T> class ConstSmartPtr : SmartPtr<T, T> {} ;
  53. template <class T> class FreeSmartPtr : SmartPtr<T, const T> {} ;
  54.  
  55. Now you can safely use:
  56.   FreeSmartPtr<const X> and ConstSmartPtr<X>.
  57.  
  58. You cannot use:
  59.   ConstSmartPtr<const X>
  60. due to the double const problem;
  61.  
  62. But you can use:
  63.   FreeSmartPtr<X>
  64. no const at all !
  65. ---
  66. [ comp.std.c++ is moderated.  To submit articles: try just posting with      ]
  67. [ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu         ]
  68. [ FAQ:      http://reality.sgi.com/employees/austern_mti/std-c++/faq.html    ]
  69. [ Policy:   http://reality.sgi.com/employees/austern_mti/std-c++/policy.html ]
  70. [ Comments? mailto:std-c++-request@ncar.ucar.edu                             ]
  71.